We prove that for any k≥3 each element of the h-quasiorder of finite k-labeled forests is definable in the ordinary first order language and, respectively, each element of the h-quasiorder of countable k-labeled forests is definable in the language Lω1ω, in both cases provided that the minimal non-smallest elements are allowed as parameters. As corollaries, we characterize the automorphism groups of both structures and show that the structure of finite k-forests is atomic. Similar results hold true for two other relevant (...) structures: the h-quasiorder of finite k-labeled trees and of finite k-labeled trees with a fixed label of the root element. (shrink)

Монография предназначена для специалистов в области социальной философии, социологии и истории, а также для широкого круга читателей.

Big cities and growing industrial areas bring high risk of different kinds of pollutions which would implicate to the quality of life of the society. Discovering and monitoring of polluted areas using autonomous mobile robots is nowadays a frequently considered solution concerning both environmental and human safety problems. Being part of a distributed control system, such robots can help to improve the efficiency of the existing conventional pollution prevention systems. On the other hand, during the last decade, wireless sensor networks (...) have provoked the interest of specialists from different areas by imposing a large number of theoretical and practical challenges related to their implementation. This paper attempts to deal with both issues by presenting a possible way for building robotized WSNs that can be suitable for solving different environmental monitoring tasks. The goal is to transform the WSN into an adaptive sensor system with intelligent behavior that can be used to discover and track spots or areas where given monitored environmental parameters violate defined thresholds. The inclusion of robotized agents into the WSN structure can provide additional flexibility with respect to the installation of the network sensors and allow reliable information gathering and transfer. The proposed algorithmic methods have been tested on a pre-built laboratory prototype of a robotized WSN. The robotized agents have been built using iRobot Create mobile platforms that are additionally equipped with a single-chip computers Gumstix Verdex pro TM XL6P with various expansion modules. (shrink)

t. 1. Vlastʹ kli︠u︡cheĭ -- t. 2. Na vesakh Iova.

The concept of the "new working class" was advanced by French Left radical sociologists 15 years ago, at a time when the social consequences of the revolution in science and technology under the conditions of governmentally intertwined monopoly capitalism had not yet become sufficiently clear. Bourgeois ideology hastened to interpret the social changes within the world of hired labor as the "dissolving" of the working class, its loss of revolutionary consciousness, and its integration into industrial society. Against this background, the (...) concept of the "new working class" stood out primarily because of its bearings on revolution: it asserted that the carrier of revolutionary ideas in the world today is precisely the working class, but not this class as a whole, only the portion of it associated with advanced branches of the economy. The concept of the "new working class" differed from the programs of the "New Left," with their spontaneous, emotional protest, in that it possessed a comprehensive, theoretical argumentum, reflecting both the changes in the economic and technological conditions of contemporary capitalism and the evolution of the social psychology of class consciousness. (shrink)

In an essential way I make use of Frege’s and Vasilev’s ideas. N. A. Vasilev distinguished two levels in a logic. The abstract logic depends on gnoeologic assumptions while the empirical part of logic depends on ontological ones. Vasilev did not change the external logic but he did change the internal one. His system can be viewed as a non-standard syllogistics based on classical propositional logic . Vasilev’s ideas become plain if we discern cleary acts of predication and acts of (...) assertion, the relation of mental contents with the way things are. The second sourse of the idea seems to Frege’s differentation of mental process and assertion, statement . As a symbol of assertion for Frege serves a vertical stroke |. A horizontal stroke following it is correlated with holding a proposition, it makes the sign determined everywhere. In the string of signs the one following the vertical stroke does not express a proposition, it describes a possible state of affairs. (shrink)

Despite tendencies to compete for a prime place in moral theory, neither virtue ethics nor the four principles approach should claim to be superior to, or logically prior to, the other. Together they provide a more adequate account of the moral life than either can offer on its own. The virtues of principlism are clarity, simplicity and (to some extent) universality. These are well illustrated by Ranaan Gillon’s masterly analysis of the cases he has provided. But the vices of this (...) approach are the converse of its virtues: neglect of emotional and personal factors, oversimplification of the issues, and excessive claims to universality. Virtue ethics offers a complementary approach, providing insights into moral character, offering a blend of reason and emotion, and paying attention to the context of decisions. The cases provided can be more adequately understood if we combine the approaches. Both should foster the virtues of humility and magnanimity. (shrink)

Expounds upon consciousness, self-consciousness, reason, spirit, religion and absolute knowing and also supports Kant, denounces skepticism and hails idealism.